$\forall$$M_{1}$, $M_{2}$:MsgA. $M_{1}$ $\subseteq$ $M_{1}$ $\oplus$ $M_{2}$